$\forall$${\it the\_es}$:ES, $l$:IdLnk. (Msg on $l$) $\in$ Type